École Polytechnique - PDFSEARCH.IO - Document Search Engine

École Polytechnique
Results: 1336

#	Item
541	Frontmatter PVLDB Vol6No2 Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-04-05 17:25:38 VLDB Microsoft Research Trento Gerhard Weikum Riva del Garda École Polytechnique Fédérale de Lausanne Institute of technology Education Academia Knowledge
542	Abstracts Manuel Bodirsky, Ecole Polytechnique The Product Ramsey Theorem in Constraint Satisfaction Complexity In this talk, I show how the product Ramsey theorem can be used jointly with tools from universal algebra to Add to Reading List Source URL: asz.informatik.hu-berlin.de Language: English - Date: 2008-06-05 10:03:31 Planar graphs Graph coloring NP-complete problems Matching Tree decomposition Edge coloring Clique Minimum spanning tree Shortest path problem Graph theory Theoretical computer science Graph operations
543	1379 Abdullah, Osama University of Utah, United States Add to Reading List Source URL: ismrm.org Language: English - Date: 2013-07-24 11:32:50 Higher education Medical school National Tsing Hua University Academic health science centre École Polytechnique Fédérale de Lausanne Johns Hopkins University Institute of technology Performance Ranking of Scientific Papers for World Universities THE–QS World University Rankings Education Academia Knowledge
544	Proceedings of the VLDB Endowment Volume 5, No. 5 – January 2012 Proceedings of the 38th International Conference on Very Large Data Bases, Istanbul, Turkey Add to Reading List Source URL: vldb.org Language: English - Date: 2012-01-21 14:30:08 VLDB Gerhard Weikum Phil Bernstein Professor École Polytechnique Fédérale de Lausanne Peter Buneman Columbia University Academia Education Knowledge
545	Nicolas Curien Né en 1950, diplômé de l’École polytechnique et de Télécom ParisTech, Nicolas Curien occupait la fonction de professeur émérite au Conservatoire national des arts et métiers (CNAM). De 2005 à 2 Add to Reading List Source URL: www.csa.fr Language: French - Date: 2015-01-28 04:00:43
546	Frontmatter PVLDB Vol6No8 Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-04-05 17:25:42 VLDB Trento École Polytechnique Fédérale de Lausanne Gerhard Weikum Riva del Garda Microsoft Research IBM Research Alon Y. Halevy Institute of technology Education Academia Knowledge
547	Frontmatter PVLDB Vol6No9 Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-04-05 17:25:42 VLDB H. V. Jagadish Trento École Polytechnique Fédérale de Lausanne Microsoft Research Gerhard Weikum Riva del Garda IBM Research Fudan University Education Academia Knowledge
548	The stochastic simulator of the AltaRica 3.0 project Michel BATTEUX, Antoine RAUZY LIX – École Polytechnique Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-08-01 09:35:00 Scientific modeling Concurrency Software architecture Systems architecture Model checking Petri net Modeling language Reliability engineering Simulation Design Systems engineering Systems science
549	Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica Tatiana PROSVIRNOVA, Antoine RAUZY LIX, Ecole Polytechnique, France Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-08-01 09:01:32 State transition system Systems modeling Scientific modelling Science Epistemology Computing Identity management Security Assertion Markup Language Versailles
550	AltaRica 3.0 project: compile Guarded Transition Systems into Fault Trees T. Prosvirnova & A. Rauzy LIX Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-10-15 05:57:38 Mathematics Diagrams Petri net Computer science Markov chain SL Model theory Mathematical model Theoretical computer science Models of computation Concurrency

UPDATE